منابع مشابه
Moving Between Logical Systems
This paper presents a number of concepts of a mapping between logical systems modelled as institutions, discusses their mutual merits and demerits, and sketches their role in the process of system speciication and development. Some simple properties of the resulting categories of institutions are given.
متن کاملMoving between Contexts
Any action is performed in a particular context. So what does it mean to do the ‘same’ thing in a different context? There is no simple answer to this question , it depends on the interpretation of the operation and even then may be ambiguous. This is not a purely theoretical problem, but occurs in practical computational problems. This paper examines this issue looking at three different probl...
متن کاملMoving Between Argumentation Frameworks
Abstract argument frameworks have been used for various applications within multi-agent systems, including reasoning and negotiation. Different argument frameworks make use of different inter-argument relations and semantics to identify some subset of arguments as coherent, yet there is no easy way to map between these frameworks; most commonly, this is done manually according to human intuitio...
متن کاملMoving the State Between EquilibriaM
LINKÖPING Technical reports from the Automatic Control group in Linkk oping are available as UNIX-compressed Postscript les by anonymous ftp at the address ftp.control.isy.liu.se. Abstract We consider the problem of moving the system state between different equilibrium points. For systems whose linearizations are exponentially stable along a curve connecting the given points we show that the tr...
متن کاملCasimir effect between moving branes
We consider a supersymmetric model with a single matter supermultiplet in a five-dimensional space-time with orbifold compactification along the fifth dimension. The boundary conditions on the two orbifold planes are chosen in such a way that supersymmetry remains unbroken on the boundaries. We calculate the vacuum energy-momentum tensor in a configuration in which the boundary branes are movin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: liquid blackness
سال: 2021
ISSN: 2692-3874
DOI: 10.1215/26923874-8932635